Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
211	Sequencing, and IO Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-27 03:46:56 C standard library Functional programming Subroutines Functional languages Printf format string Printf Eval Lisp Pure function
212	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
213	On the Memory Requirements of XPath Evaluation over XML Streams Ziv Bar-Yossef Marcus Fontoura Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-02-23 00:22:03 Query languages Functional languages Markup languages XPath XQuery FO XSLT XPath 3 XPath 2.0
214	Course: Introduction to XQuery and Static Type-Checking Pierre Genevès CNRS (Some examples are inspired from the XQuery tutorial by Peter Fankhauser and Philip Wadler, the slides by Rajshekhar Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-15 06:39:05 Query languages Functional languages 4GL XQuery Markup languages FLWOR XPath JSONiq Zorba
215	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons
216	ADT: Site Search Version 1.0 Functional Specification Author Version Add to Reading List Source URL: www.extropia.com Language: English - Date: 2003-08-09 07:27:22 HTML World Wide Web Cross-platform software Scripting languages Common Gateway Interface Form Cascading Style Sheets Website JavaScript Perl
217	Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Formal methods Functional languages Automated theorem proving Computability theory Theoretical computer science Partial evaluation Theorem Functional programming Compiler Standard ML Succ Evaluation
218	Semi-automatic Detection of Multiword Expressions in the Slovak Dependency Treebank Daniela Majchráková,∗ Ondřej Dušek,‡ Jan Hajič,‡ Agáta Karčová∗ and Radovan Garabík∗ ∗ Ľ. Štúr Institute of Ling Add to Reading List Source URL: korpus.juls.savba.sk Language: English - Date: 2016-08-20 20:46:27 Semantics Languages of Slovakia Languages of the Czech Republic Lexicography Syntax Valency Treebank Multiword expression Functional generative description Argument Dependency grammar Slovak language
219	experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 04:59:46 Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement
220	A Scalable XML Access Control System Yue Wang Kian-Lee Tan Department of Computer Science Add to Reading List Source URL: www10.org Language: English - Date: 2001-03-13 21:48:28 Markup languages Data management Functional languages XQuery XML schema Database EXist Query language XML database Simple API for XML

UPDATE